Theorem proving
[计] 定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
It won't take me long at all.
不需要花很长时间的。
We have a small gift for you to take with you when you leave the factory.
你离开工厂时，我们有件小礼物要送给你。
It is disturbing to think that a dangerous wild animal is still at large in the quiet countryside.
想到在宁静的乡村里有一头危险的野兽继续逍遥流窜，真令人担心。